FUNCTIONAL PEARL Concurrent Distinct Choices∗
نویسندگان
چکیده
An injective finite mapping is an abstraction common to many programs. We describe the design of an injective finite mapping and its implementation in Curry, a functional logic language. Curry supports the concurrent asynchronous execution of distinct portions of a program. This condition prevents passing from one portion to another a structure containing a partially constructed mapping to ensure that a new choice does not violate the injectivity condition. We present some motivating problems and we show fragments of programs that solve these problems using our design and implementation.
منابع مشابه
Concurrent distinct choices
An injective finite mapping is an abstraction common to many programs. We describe the design of an injective finite mapping and its implementation in Curry, a functional logic language. Functional logic programming supports the concurrent asynchronous execution of distinct portions of a program—a condition that prevents passing from one portion to another the structure containing a partially c...
متن کاملAssociability-modulated loss learning is increased in posttraumatic stress disorder
Disproportionate reactions to unexpected stimuli in the environment are a cardinal symptom of posttraumatic stress disorder (PTSD). Here, we test whether these heightened responses are associated with disruptions in distinct components of reinforcement learning. Specifically, using functional neuroimaging, a loss-learning task, and a computational model-based approach, we assessed the mechanist...
متن کاملNpgrj_nn_2067 1..7
Addicted individuals pursue substances of abuse even in the clear presence of positive outcomes that may be foregone and negative outcomes that may occur. Computational models of addiction depict the addicted state as a feature of a valuation disease, where drug-induced reward prediction error signals steer decisions toward continued drug use. Related models admit the possibility that valuation...
متن کاملFunctional Pearl: Control to Correct A recipe for robustness
Making a program robust is often a recipe for making it ugly: the core logic becomes hopelessly entwined with error handling, and quickly dwarfed by it. The concerns are hard to separate, since error checking may depend on earlier bits of core logic, and the core logic may assume error-free input. In this pearl we show, through two distinct but related examples, how to wield first-class control...
متن کاملRandom Number Generation and Working Memory
We demonstrate the close relationship that exists between random sequence generation and working memory functioning. We clarify the nature of this link by examining the impact of concurrent requirements for random sequence response quality. Experiments 1A and 1B show that marking specific response choices for differential treatment, either by requiring an ancillary behaviour or by suppressing t...
متن کامل